#include <stdio.h>
#include <string.h>

int main(int argc, char *argv[])
{
	char s[101], d[101], a[101], dict[26];
	int i, l, idx, flg;

	for (i=0; i<26; i++) {
		dict[i] = '0';
	}

	scanf("%s", s);
	scanf("%s", d);
	scanf("%s", a);

	l = strlen(s);
	flg = 1;
	for (i=0; i<l; i++) {
		idx = s[i] - 'A';
		if (dict[idx] == '0' || dict[idx] == d[i]) dict[idx] = d[i];
		else flg = 0;
	}
	for (i=0; i<26; i++) {
		if (dict[i] == '0') flg = 0;
	}

	if (!flg) {
		printf("Failed\n");
	} else {
		l = strlen(a);
		for (i=0; i<l; i++) {
			printf("%c", dict[a[i] - 'A']);
		}
		printf("\n");
	}

	return 0;
}
